Query answering over fact bases in zadeh logic
نویسندگان
چکیده
منابع مشابه
Query Answering over Fact Bases for Fuzzy Interval Ontologies
Temporal ontologies contain events that are concepts and roles with references to temporal intervals. Therefore, a temporal ontology induces the interval ontology. We consider fuzzy interval ontologies written in a fuzzy Boolean extension of Allen’s interval logic. Syntactically, the extended logic ELA is the set of all Boolean combinations of propositional variables and sentences of Allen’s in...
متن کاملExplaining Inconsistency-Tolerant Query Answering over Description Logic Knowledge Bases
Several inconsistency-tolerant semantics have been introduced for querying inconsistent description logic knowledge bases. This paper addresses the problem of explaining why a tuple is a (non-)answer to a query under such semantics. We define explanations for positive and negative answers under the brave, AR and IAR semantics. We then study the computational properties of explanations in the li...
متن کاملQuery Answering over CFDnc Knowledge Bases
We consider the problem of answering conjunctive queries in the description logic CFDnc, a generalization of the logic CFDnc in which universal restrictions are now permitted on left-hand-sides of inclusion dependencies. We show this problem retains PTIME data complexity and exhibit a procedure in the spirit of OBDA in which a relational engine can be usefully employed to address scalability is...
متن کاملConsistent Query Answering over Description Logic Ontologies
Description Logics (DLs) have been widely used in the last years as formal language for specifying ontologies. In several contexts, as ontology-based data integration, it may frequently happen that data contradict the intensional knowledge provided by the ontology through which they are accessed, which therefore may result inconsistent. In this paper, we analyze the problem of consistent query ...
متن کاملQuery Answering over Description Logic Ontologies
Description Logics (DLs) provide the formal foundation for ontology languages, and they have been advocated as formalisms for modeling the domain of interest in various settings, including the Semantic Web, data and information integration, and ontology-based data access. An important requirement there is the ability to answer complex database-like queries, while taking into account both extens...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International journal "Programmnye produkty i sistemy"
سال: 2014
ISSN: 0236-235X,2311-2735
DOI: 10.15827/2311-6749.10.133